double pipe (||) - German English Dictionary